Association for Computing Machinery - PDFSEARCH.IO - Document Search Engine

Association for Computing Machinery
Results: 965

#	Item
191	Lista de Revistas e Conferencias do IST.xls Add to Reading List Source URL: drh.tecnico.ulisboa.pt Language: English - Date: 2014-01-16 09:15:49 Theoretical computer science Engineering Academia Symposium on Principles and Practice of Parallel Programming Design Automation Conference Institute of Electrical and Electronics Engineers International Conference on Computer-Aided Design Federated Computing Research Conference Association for Computing Machinery International nongovernmental organizations Computer science ACM SIGACT
192	CURRICULUM VITAE Yannis Theodoridis Professor, University of Piraeus Last updatePERSONAL DATA Add to Reading List Source URL: www.unipi.gr Language: English - Date: 2014-11-04 03:16:02 Knowledge Data analysis Machine learning Association for Computing Machinery SIGMOD Semantic similarity Database Knowledge discovery Science Statistics Data mining
193	ICME 2015 IEEE International Conference on Multimedia & Expo Torino, Italy, June 29 – July 3, 2015 http://www.icme2015.ieee icme.org General Chairs Enrico Magli – Politecnico di Torino Add to Reading List Source URL: www.icme2015.ieee-icme.org Language: English - Date: 2014-11-21 04:59:23 International Congress on Mathematical Education Institute of Electrical and Electronics Engineers National Tsing Hua University Visual arts Structure Engineering ACM Multimedia Association for Computing Machinery Multimedia
194	ACM: Software System Award Page 1 of 2 Software System Award CONTACT: Add to Reading List Source URL: spinroot.com Language: English - Date: 2008-06-30 15:34:26 Computing Gerard J. Holzmann ACM Software System Award SPIN model checker ACM Portal Peter J. Denning Computer science Association for Computing Machinery Science
195	Viktor Kuncak Swiss Federal Institute of Technology (EPFL) School of Computer & Communications Sciences, INR 318 Station 14 CH-1015 Lausanne, Switzerland web page: http://lara.epfl.ch/˜kuncak Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2014-09-27 12:22:24 Computing Association for Computing Machinery Logic in computer science Principles of Programming Languages Programming Language Design and Implementation SIGPLAN Formal verification Model checking Computer Aided Verification Computer science Theoretical computer science Formal methods
196	2011 ACM SIGPLAN Symposium on Programming L D I PLDI San Jose, CA Add to Reading List Source URL: pldi11.cs.utah.edu Language: English - Date: 2010-10-31 18:38:21 Association for Computing Machinery Programming Language Design and Implementation Knowledge Monica S. Lam Abstract management Profiling SIGPLAN IBM Computing Computer science Year of birth missing
197	GHC 2014 Everywhere. Everyone. The Grace Hopper Celebration of Women in Computing— the world’s largest conference for women technologists— Add to Reading List Source URL: gracehopper.org Language: English - Date: 2015-05-13 16:27:31 Grace Hopper Celebration of Women in Computing Academia Association for Computing Machinery Shafi Goldwasser Women in computing Maria Klawe Women in technology Computing Science
198	2013 ACM SIGMETRICS JuneCarnegie Mellon University Add to Reading List Source URL: www.sigmetrics.org Language: English - Date: 2013-06-13 19:49:00 Computer science Academia SIGMETRICS Association for Computing Machinery Carnegie Mellon School of Computer Science
199	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering
200	Contact: Virginia Gold Add to Reading List Source URL: awards.acm.org Language: English - Date: 2015-04-28 11:01:52 Academia Association for Computing Machinery Computer science Computing

UPDATE